first shifting theorem